Em uma síntese emergente na neurociência contemporânea, uma certa noção de metaestabilidade ocupaum papel central. Iniciando por situar a importação do conceito de metaestabilidade da teoria de sistemas dinâmicose da mecânica estatística de redes complexas para essa síntese teórica na neurociência, buscamos uma aproximaçãocom a formação do conceito de plasticidade cerebral na obra de Catherine Malabou. Em seguida, exploramos algumasdas consequências de uma nova ficção ou relato neurocientífico, baseado nessa síntese e proposto principalmente porKarl Friston. Esse relato inclui, além das (...) noções de metaestabilidade e plasticidade, uma tentativa de fundamentaçãoneurobiológica de concepções metapsicológicas a partir da dinâmica de redes neurais. Essa ficção é, por fim, desenroladanuma analogia dos processos demenciais com a intrusão, desde dentro, de processos de individuação física. (shrink)

Neurofeedback has been suggested as a potential complementary therapy to different psychiatric disorders. Of interest for this approach is the prediction of individual performance and outcomes. In this study, we applied functional connectivity-based modeling using electroencephalography (EEG) and functional near-infrared spectroscopy (fNIRS) modalities to (i) investigate whether resting-state connectivity predicts performance during an affective neurofeedback task and (ii) evaluate the extent to which predictive connectivity profiles are correlated across EEG and fNIRS techniques. The fNIRS oxyhemoglobin and deoxyhemoglobin concentrations and the (...) EEG beta and gamma bands modulated by the alpha frequency band (beta-m-alpha and gamma-m-alpha, respectively) recorded over the frontal cortex of healthy subjects were used to estimate functional connectivity from each neuroimaging modality. For each connectivity matrix, relevant edges were selected in a leave-one-subject-out procedure, summed into “connectivity summary scores” (CSS), and submitted as inputs to a support vector regressor (SVR). Then, the performance of the left-out-subject was predicted using the trained SVR model. Linear relationships between the CSS across both modalities were evaluated using Pearson’s correlation. The predictive model showed a mean absolute error smaller than 20%, and the fNIRS oxyhemoglobin CSS was significantly correlated with the EEG gamma-m-alpha CSS (r = −0.456, p = 0.030). These results support that pre-task electrophysiological and hemodynamic resting-state connectivity are potential predictors of neurofeedback performance and are meaningfully coupled. This investigation motivates the use of joint EEG-fNIRS connectivity as outcome predictors, as well as a tool for functional connectivity coupling investigation. (shrink)

Heidegger's critique of metaphysics is well-known, resulting of the conception the end of philosophy. For the author, thought announces itself poetically, through the pen of poets who sensed and felt what should be thought. This new era of Being, in the future, would be in preparation, and it is towards this task that his post-turn thinking is directed, on the confluent path of Poetry and Philosophy. In this article, we revisit a rare text in the Heideggerian bibliography, composed in verse (...) and aphorism in 1947, "On the Experience of Thinking" ("Aus der Erfahrung des Denkens"), seeking to reflect on how the understanding of experience present in this text is linked to the focus on poetize and poets present in many Heideggerian texts in the following years, suggesting that thought (as a to poetize and to philosophy) evokes a radical experience in relation to Metaphysics: passivity, as waiting and listening in a topology of Being. (shrink)

A Fenomenologia tem sido repensada nas últimas décadas a partir do trabalho de autoras feministas que têm promovido uma renovação das perspectivas fenomenológicas a partir de diferentes situacionalidades, atravessamentos e de um forte criticismo. O texto, como um ensaio, vislumbra tais possibilidades a partir de uma leitura do livro “50 Concepts for a Critical Phenomenology”, editado por Gail Weiss, Ann V. Murphy e Gayle Salamon. O objetivo é problematizar as potencialidades abertas para a Fenomenologia a partir de uma perspectiva Crítica (...) e Feminista. (shrink)

Mezcla de ensayo, comentario y memoria, recoge trabajos orgánicamente ensamblados sobre la acción de profesores franceses en la enseñanza de la filosofía en São Paulo durante la década de los años 60. Se destaca la obra de autores brasileños como Bento Padro Jr., Oswaldo Porchat, José Arthur Giannotti y Ruy Fausto. Un capítulo se dedica al historiador de la filosofía en Brasil, Joao Cruz Costa"--Handbook of Latin American Studies, v. 58.

Collected and edited by Noah Levin -/- Table of Contents: -/- UNIT ONE: INTRODUCTION TO CONTEMPORARY ETHICS: TECHNOLOGY, AFFIRMATIVE ACTION, AND IMMIGRATION 1 The “Trolley Problem” and Self-Driving Cars: Your Car’s Moral Settings (Noah Levin) 2 What is Ethics and What Makes Something a Problem for Morality? (David Svolba) 3 Letter from the Birmingham City Jail (Martin Luther King, Jr) 4 A Defense of Affirmative Action (Noah Levin) 5 The Moral Issues of Immigration (B.M. Wooldridge) 6 The Ethics of our (...) Digital Selves (Noah Levin) -/- UNIT TWO: TORTURE, DEATH, AND THE “GREATER GOOD” 7 The Ethics of Torture (Martine Berenpas) 8 What Moral Obligations do we have (or not have) to Impoverished Peoples? (B.M. Wooldridge) 9 Euthanasia, or Mercy Killing (Nathan Nobis) 10 An Argument Against Capital Punishment (Noah Levin) 11 Common Arguments about Abortion (Nathan Nobis & Kristina Grob) 12 Better (Philosophical) Arguments about Abortion (Nathan Nobis & Kristina Grob) -/- UNIT THREE: PERSONS, AUTONOMY, THE ENVIRONMENT, AND RIGHTS 13 Animal Rights (Eduardo Salazar) 14 John Rawls and the “Veil of Ignorance” (Ben Davies) 15 Environmental Ethics: Climate Change (Jonathan Spelman) 16 Rape, Date Rape, and the “Affirmative Consent” Law in California (Noah Levin) 17 The Ethics of Pornography: Deliberating on a Modern Harm (Eduardo Salazar) 18 The Social Contract (Thomas Hobbes) -/- UNIT FOUR: HAPPINESS 19 Is Pleasure all that Matters? Thoughts on the “Experience Machine” (Prabhpal Singh) 20 Utilitarianism (J.S. Mill) 21 Utilitarianism: Pros and Cons (B.M. Wooldridge) 22 Existentialism, Genetic Engineering, and the Meaning of Life: The Fifths (Noah Levin) 23 The Solitude of the Self (Elizabeth Cady Stanton) 24 Game Theory, the Nash Equilibrium, and the Prisoner’s Dilemma (Douglas E. Hill) -/- UNIT FIVE: RELIGION, LAW, AND ABSOLUTE MORALITY 25 The Myth of Gyges and The Crito (Plato) 26 God, Morality, and Religion (Kristin Seemuth Whaley) 27 The Categorical Imperative (Immanuel Kant) 28 The Virtues (Aristotle) 29 Beyond Good and Evil (Friedrich Nietzsche) 30 Other Moral Theories: Subjectivism, Relativism, Emotivism, Intuitionism, etc. (Jan F. Jacko). (shrink)

Adding a transparent truth predicate to a language completely governed by classical logic is not possible. The trouble, as is well-known, comes from paradoxes such as the Liar and Curry. Recently, Cobreros, Egré, Ripley and van Rooij have put forward an approach based on a non-transitive notion of consequence which is suitable to deal with semantic paradoxes while having a transparent truth predicate together with classical logic. Nevertheless, there are some interesting issues concerning the set of metainferences validated by this (...) logic. In this paper, we show that this logic, once it is adequately understood, is weaker than classical logic. Moreover, the logic is in a way similar to the paraconsistent logic LP. (shrink)

This book explains how the logic of theory change employs formal models in the investigation of changes in belief states and databases. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original framework, iterated change, applications of the model, its connections with other formal frameworks, and criticism of the model.

In this paper we discuss the extent to which the very existence of substructural logics puts the Tarskian conception of logical systems in jeopardy. In order to do this, we highlight the importance of the presence of different levels of entailment in a given logic, looking not only at inferences between collections of formulae but also at inferences between collections of inferences—and more. We discuss appropriate refinements or modifications of the usual Tarskian identity criterion for logical systems, and propose an (...) alternative of our own. After that, we consider a number of objections to our account and evaluate a substantially different approach to the same problem. (shrink)

When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in a clear (...) sense, non-identical to it. We argue that this phenomenon can be generalized, given the existence of logics which coincide with Classical Logic regarding a number of metainferential levels—although they are, again, clearly different systems. We claim this highlights the need to arrive at a more refined version of the Collapse Argument, which we discuss at the end of the paper. (shrink)

Many authors have considered that the notions of paraconsistency and dialetheism are intrinsically connected, in many cases, to the extent of confusing both phenomena. However, paraconsistency is a formal feature of some logics that consists in invalidating the rule of explosion, whereas dialetheism is a semantical/ontological position consisting in accepting true contradictions. In this paper, we argue against this connection and show that it is perfectly possible to adopt a paraconsistent logic and reject dialetheism, and, moreover, that there are examples (...) of non-paraconsistent logics that can be interpreted in a dialetheic way. (shrink)

The 1985 paper by Carlos Alchourrón, Peter Gärdenfors, and David Makinson, “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions” was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twenty-five years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original (...) framework, iterated change, applications of the model, its connections with other formal frameworks, computatibility of AGM operations, and criticism of the model. (shrink)

The philosopher Jorge J. E. Gracia engages fifteen prominent scholars on race, ethnicity, nationality, and Hispanic/Latino identity in the United States. Their discussion joins two distinct traditions: the philosophy of race begun by African Americans in the nineteenth century, and the search for an understanding of identity initiated by Latin American philosophers in the sixteenth century. Participants include Linda M. Alcoff, K. Anthony Appiah, Richard J. Bernstein, Lawrence Blum, Robert Gooding-Williams, Eduardo Mendieta, and Lucius T. Outlaw Jr., and their (...) dialogue reflects the analytic, Aristotelian, Continental, literary, Marxist, and pragmatic schools of thought. These intellectuals start with the philosophy of Hispanics/Latinos in the United States and then move to the philosophy of African Americans and Anglo Americans in the United States and the philosophy of Latin Americans in Latin America. Gracia and his interlocutors debate the nature of race and ethnicity and their relation to nationality, linguistic rights, matters of identity, and Affirmative Action, binding the concepts of race and ethnicity together in ways that open new paths of inquiry. Gracia's Familial-Historical View of ethnic and Hispanic/Latino identity operates at the center of each of these discussions, providing vivid access to the philosopher's provocative arguments while adding unique depth to issues that each of us struggles to understand. (shrink)

It is widely accepted that classical logic is trivialized in the presence of a transparent truth-predicate. In this paper, we will explain why this point of view must be given up. The hierarchy of metainferential logics defined in Barrio et al. and Pailos recovers classical logic, either in the sense that every classical inferential validity is valid at some point in the hierarchy ), or because a logic of a transfinite level defined in terms of the hierarchy shares its validities (...) with classical logic. Each of these logics is consistent with transparent truth—as is shown in Pailos —, and this suggests that, contrary to standard opinions, transparent truth is after all consistent with classical logic. However, Scambler presents a major challenge to this approach. He argues that this hierarchy cannot be identified with classical logic in any way, because it recovers no classical antivalidities. We embrace Scambler’s challenge and develop a new logic based on these hierarchies. This logic recovers both every classical validity and every classical antivalidity. Moreover, we will follow the same strategy and show that contingencies need also be taken into account, and that none of the logics so far presented is enough to capture classical contingencies. Then, we will develop a multi-standard approach to elaborate a new logic that captures not only every classical validity, but also every classical antivalidity and contingency. As a€truth-predicate can be added to this logic, this result can be interpreted as showing that, despite the claims that are extremely widely accepted, classical logic does not trivialize in the context of transparent truth. (shrink)

This article focuses on Karl Jaspers’s notion of the Axial Age, some of its critical appropriation, and how in particular Habermas has returned to this idea, after several critical engagements with Jaspers’s work through his long scholarly productivity. The article, however, centers on Habermas’s selective and critical use of Jaspers’s notion in his own latest and extensive engagement with what he calls “a genealogy of postmetaphysical thinking.” The goal of the article is to identify the ways in which Habermas is (...) refurbishing Jaspers’s generative concept, but at the same time, how his work on postsecular consciousness opens itself to some liabilities by not taking enough distance from the concept. (shrink)

In this note we shall argue that Milne’s new effort does not refute Truthmaker Maximalism. According to Truthmaker Maximalism, every truth has a truthmaker. Milne has attempted to refute it using the following self-referential sentence M: This sentence has no truthmaker. Essential to his refutation is that M is like the Gödel sentence and unlike the Liar, and one way in which Milne supports this assimilation is through the claim that his proof is essentially object-level and not semantic. In Section (...) 2, we shall argue that Milne is still begging the question against Truthmaker Maximalism. In Section 3, we shall argue that even assimilating M to the Liar does not force the truthmaker maximalist to maintain the ‘dull option’ that M does not express a proposition. There are other options open and, though they imply revising the logic in Milne’s reasoning, this is not one of the possible revisions he considers. In Section 4, we shall suggest that Milne’s proof requires an implicit appeal to semantic principles and notions. In Section 5, we shall point out that there are two important dissimilarities between M and the Gödel sentence. Section 6 is a brief summary and conclusion. (shrink)

"This book presents a theoretical discussion of problems and issues encountered in the Native American community from a perspective that accepts Native knowledge as legitimate. Native American cosmology and metaphor are used extensively in order to deal with specific problems such as alcoholism, suicide, family, and community problems. The authors discuss what it means to present material from the perspective of a people who have legitimate ways of knowing and conceptualizing reality and show that it is imperative to understand intergenerational (...) trauma and internalized oppression in order to understand the issues facing Native Americans today."--pub. website. (shrink)

The aim of this paper is to show that it’s not a good idea to have a theory of truth that is consistent but ω-inconsistent. In order to bring out this point, it is useful to consider a particular case: Yablo’s Paradox. In theories of truth without standard models, the introduction of the truth-predicate to a first order theory does not maintain the standard ontology. Firstly, I exhibit some conceptual problems that follow from so introducing it. Secondly, I show that (...) in second order theories with standard semantics the same procedure yields a theory that doesn’t have models. So, while having an ω- inconsistent theory is a bad thing, having an unsatisfiable theory of truth is actually worse. This casts doubts on whether the predicate in question is, after all, a truthpredicate for that language. Finally, I present some alternatives to prove an inconsistency adding plausible principles to certain theories of truth. (shrink)

A theory of magnitudes involves criteria for their equivalence, comparison and addition. In this article we examine these aspects from an abstract viewpoint, by focusing on the so-called De Zolt’s postulate in the theory of equivalence of plane polygons (“If a polygon is divided into polygonal parts in any given way, then the union of all but one of these parts is not equivalent to the given polygon”). We formulate an abstract version of this postulate and derive it from some (...) selected principles for magnitudes. We also formulate and derive an abstract version of Euclid’s Common Notion 5 (“The whole is greater than the part”), and analyze its logical relation to the former proposition. These results prove to be relevant for the clarification of some key conceptual aspects of Hilbert’s proof of De Zolt’s postulate, in his classicalFoundations of Geometry(1899). Furthermore, our abstract treatment of this central proposition provides interesting insights for the development of a well-behaved theory ofcompatiblemagnitudes. (shrink)

This paper focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. We propose for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction, proposed by Hansson [Han94] to construct classical AGM contractions and belief base contractions. This construction (...) works out the unsolved problem pointed out by Hansson in [Han99, pp. 369]. (shrink)

In different papers, Carnielli, W. & Rodrigues, A., Carnielli, W. Coniglio, M. & Rodrigues, A. and Rodrigues & Carnielli, present two logics motivated by the idea of capturing contradictions as conflicting evidence. The first logic is called BLE and the second—that is a conservative extension of BLE—is named LETJ. Roughly, BLE and LETJ are two non-classical logics in which the Laws of Explosion and Excluded Middle are not admissible. LETJ is built on top of BLE. Moreover, LETJ is a Logic (...) of Formal Inconsistency. This means that there is an operator that, roughly speaking, identifies a formula as having classical behavior. Both systems are motivated by the idea that there are different conditions for accepting or rejecting a sentence of our natural language. So, there are some special introduction and elimination rules in the theory that are capturing different conditions of use. Rodrigues & Carnielli’s paper has an interesting and challenging idea. According to them, BLE and LETJ are incompatible with dialetheia. It seems to show that these paraconsistent logics cannot be interpreted using truth-conditions that allow true contradictions. In short, BLE and LETJ talk about conflicting evidence avoiding to talk about gluts. I am going to argue against this point of view. Basically, I will firstly offer a new interpretation of BLE and LETJ that is compatible with dialetheia. The background of my position is to reject the one canonical interpretation thesis: the idea according to which a logical system has one standard interpretation. Then, I will secondly show that there is no logical basis to fix that Rodrigues & Carnielli’s interpretation is the canonical way to establish the content of logical notions of BLE and LETJ. Furthermore, the system LETJ captures inside classical logic. Then, I am also going to use this technical result to offer some further doubts about the one canonical interpretation thesis. (shrink)

Para explorar las diferencias significativas entre estos dos pensadores, la primera parte de este articulo considerará sus ideas ontológicas. Comenzando con su preocupación común por la multiplicidad, exploraremos el movimiento fundacional de Deleuze hacia diferentes tipos de multiplicidad. La crítica de Badiou a este enfoque estará relacionada con su defensa de los recursos abstractos de la teoría de conjuntos en oposición a las síntesis concretas con las que Deleuze busca comenzar. La segunda parte de este documento explorará las consecuencias de (...) los compromisos ontológicos de Deleuze cuando se trata de la ética del acontecimiento exigido por Badiou. El compromiso de Deleuze con el estoicismo proporcionará el escenario para su explicación de cómo ocurren los acontecimientos y representa una fuente de pensamiento y actividad. En la tercera y última parte se buscará evaluar la explicación de Deleuze sobre el papel de los acontecimientos en situaciones particulares y en las actividades de los sujetos que responden a estos. Esto nos permitirá sacar conclusiones sobre la crítica de Badiou a Deleuze y la capacidad de Deleuze para resistir estas críticas. Argumentaré que Deleuze comparte con Badiou la preocupación de mantener una visión clara del tema como una figura comprometida en la búsqueda de proyectos nuevos e inauditos que responden al llamado de los acontecimientos. (shrink)

Semantic paradoxes pose a real threat to logics that attempt to be capable of expressing their own semantic concepts. Particularly, Curry paradoxes seem to show that many solutions must change our intuitive concepts of truth or validity or impose limits on certain inferences that are intuitively valid. In this way, the logic of a universal language would have serious problems. In this paper, we explore a different solution that tries to avoid both limitations as much as possible. Thus, we argue (...) that it is possible to capture the naive concepts of truth and validity without losing any of the valid inferences of classical logic. This approach is called the Buenos Aires plan. We present the logic of truth and validity, $$\mathsf {STTV}_{\omega }$$ based on the hierarchy of logics $$\textsf{ST}_{\omega }$$, whose validity predicate has the same semantic conditions as the material conditional. We argue that $$\mathsf {STTV}_{\omega }$$ is capable of blocking the problematic results while keeping the deductive power of classical logic as much as possible and offering an adequate semantic theory. On the other hand, one could object that it is not possible to reason with $$\mathsf {STTV}_{\omega }$$ because it is not closed under its logical principles. We respond to this objection and argue that the local characterization of validity shows how to make inferences using the logic $$\textsf{ST}_{\omega }$$. (shrink)

Until now, North American and European philosophies have been engaged in debates about the possibility of a postmetaphysical philosophy and the consequences of the linguistic turn for the assessment of modernity; they have done so, however, without departing from the narrow horizons of their respective nationalistic perspectives. In this incisive critique, Dussel demonstrates how most of thse philosophies have either failed to give historically faithful analyses of the genesis of the "myth" of modernity, or have never engaged in a serious (...) questioning of their own Eurocentric presuppositions. He shows how North American and European philosophers have presupposed a no-longer-acceptable philosophy of history that has led them to fall into a "developmental fallacy," the belief that there is a linear sequence that moves from the premodern, underdeveloped, or on the way to industrialization, to the modern, developed, and industrialized. (shrink)

We propose a new class of multiple contraction operations — the system of spheres-based multiple contractions — which are a generalization of Grove’s system of spheres-based (singleton) contractions to the case of contractions by (possibly non-singleton) sets of sentences. Furthermore, we show that this new class of functions is a subclass of the class of the partial meet multiple contractions.

The main idea that we want to defend in this paper is that the question of what a logic is should be addressed differently when structural properties enter the game. In particular, we want to support the idea according to which it is not enough to identify the set of valid inferences to characterize a logic. In other words, we will argue that two logical theories could identify the same set of validities, but not be the same logic.

The concept of _substructural logic_ was originally introduced in relation to limitations of Gentzen’s structural rules of Contraction, Weakening and Exchange. Recent years have witnessed the development of substructural logics also challenging the Tarskian properties of Reflexivity and Transitivity of logical consequence. In this introduction we explain this recent development and two aspects in which it leads to a reassessment of the bounds of classical logic. On the one hand, standard ways of defining the notion of logical consequence in classical (...) logic naturally induce substructural logics when admitting more than two truth values; on the other hand, these substructural logics give rise to hierarchies of _metainferences_ that can be used to approximate classical logic at different levels. (shrink)

The paper outlines an interpretation of one of the most important and original contributions of David Hilbert’s monograph Foundations of Geometry , namely his internal arithmetization of geometry. It is claimed that Hilbert’s profound interest in the problem of the introduction of numbers into geometry responded to certain epistemological aims and methodological concerns that were fundamental to his early axiomatic investigations into the foundations of elementary geometry. In particular, it is shown that a central concern that motivated Hilbert’s axiomatic investigations (...) from very early on was the aim of providing an independent basis for geometry. Accordingly, these concerns about an independent grounding for elementary geometry determined very clear methodological constraints in the process of embedding it into a formal axiomatic system. It is argued that Hilbert not only sought to show that geometry could be considered a pure mathematical theory, once it was presented as a formal axiomatic system; he also aimed at showing that in the construction of such an axiomatic system one could proceed purely geometrically, avoiding concept formations borrowed from other mathematical disciplines like arithmetic or analysis. (shrink)

El problema de la filosof a hisp nica concierne m s bien al car cter de la filosof a contempor nea en Hispanoam rica, es decir, a su ethos. "Parece como si no pudi ramos hacer filosof a en nuestro mundo hisp nico, -se ala Nicol en el prefacio- sin debatir previamente la cuesti n del car cter y estilo de lo que vamos a hacer y c mo adaptarlo al genio aut ctono y a los destinos de nuestra comunidad." (...) Tal preocupaci n es estudiada en este ensayo. (shrink)

We can now survey the ruins of a Babelian tower of discourse about cosmopolitanism. We speak of “elite travel lounge,” “Davos,” “banal” as well as of “reflexive,” “really existing,” “patriotic,” and “horizontal” cosmopolitanisms. Here, an attempt is made to extract what is normative and ideal in the concept of cosmopolitanism by foregrounding the epistemic and moral dimensions of this attitude towards the world and other cultures. Kant, in a rather unexpected way, is profiled as the exemplification of what is here (...) called “imperial” cosmopolitanism, which is both blind and dismissive of its own material conditions of possibility. Then, through a discussion of the works of Nussbaum, Appiah, Mignolo, Butler, Benhabib and Beck the author elaborates a version of cosmopolitanism that is grounded, enlightened, and reflexive, which corrects and supersedes Kant’s own Eurocentric cosmopolitanism. We do not live in an age of cosmopolitanism, but in an age of cosmopolitization. Democratic iterations that are jurisgenerative are matched at the global level by cosmopolitan iterations that are both jurisgenerative and affect generating. (shrink)

This volume collects a number of important and revealing interviews with Richard Rorty, spanning more than two decades of his public intellectual commentary, engagement, and criticism. In colloquial language, Rorty discusses the relevance and nonrelevance of philosophy to American political and public life. The collection also provides a candid set of insights into Rorty's political beliefs and his commitment to the labor and union traditions in this country. Finally, the interviews reveal Rorty to be a deeply engaged social thinker and (...) observer. (shrink)

A theory of truth is usually demanded to be consistent, but -consistency is less frequently requested. Recently, Yatabe has argued in favour of -inconsistent first-order theories of truth, minimising their odd consequences. In view of this fact, in this paper, we present five arguments against -inconsistent theories of truth. In order to bring out this point, we will focus on two very well-known -inconsistent theories of truth: the classical theory of symmetric truth FS and the non-classical theory of naïve truth (...) based on ᴌukasiewicz infinitely valued logic: PAᴌT. (shrink)

In this paper we develop a general representation theory for MV-algebras. We furnish the appropriate categorical background to study this problem. Our guide line is the theory of classifying topoi of coherent extensions of universal algebra theories. Our main result corresponds, in the case of MV-algebras and MV-chains, to the representation of commutative rings with unit as rings of global sections of sheaves of local rings. We prove that any MV-algebra is isomorphic to the MV-algebra of all global sections of (...) a sheaf of MV-chains on a compact topological space. This result is intimately related to McNaughton’s theorem, and we explain why our representation theorem can be viewed as a vast generalization of McNaughton’s theorem. In spite of the language used in this abstract, we have written this paper in the hope that it can be read by experts in MV-algebras but not in sheaf theory, and conversely. (shrink)

I argue against Matthew Slater’s rejection of what he calls the grounding claim in his stable property cluster account of natural kinds. This claim states that the epistemic value of natural kinds depends on the existence of some ground to bind together a kind’s properties. Using two test cases from academic medicine, I show that grounds are genuinely explanatory of scientific epistemic practices and that the SPC account should not do without them in its philosophical analysis of natural kinds.

In this paper we develop a general representation theory for MV-algebras. We furnish the appropriate categorical background to study this problem. Our guide line is the theory of classifying topoi of coherent extensions of universal algebra theories. Our main result corresponds, in the case of MV-algebras and MV-chains, to the representation of commutative rings with unit as rings of global sections of sheaves of local rings. We prove that any MV-algebra is isomorphic to the MV-algebra of all global sections of (...) a sheaf of MV-chains on a compact topological space. This result is intimately related to McNaughton’s theorem, and we explain why our representation theorem can be viewed as a vast generalization of McNaughton’s theorem. In spite of the language used in this abstract, we have written this paper in the hope that it can be read by experts in MV-algebras but not in sheaf theory, and conversely. (shrink)

It is widely accepted that a theory of truth for arithmetic should be consistent, but -consistency is a highly desirable feature for such theories. The point has already been made for first-order languages, though the evidence is not entirely conclusive. We show that in the second-order case the consequence of adopting -inconsistent theories of truth are considered: the revision theory of nearly stable truth T # and the classical theory of symmetric truth FS. Briefly, we present some conceptual problems with (...) ω-inconsistent theories, and demonstrate some technical results that support our criticisms of such theories. (shrink)

From a scientific standpoint, the world is more prepared than ever to respond to infectious disease outbreaks; paradoxically, globalization and air travel, antimicrobial resistance, the threat of bioterrorism, and newly emerging pathogens driven by ecological, socioeconomic, and environmental factors, have increased the risk of global epidemics.1,2,3 Following the 2002–2003 severe acute respiratory syndrome (SARS), global efforts to build global emergency response capabilities to contain infectious disease outbreaks were put in place.4,5,6 But the recent H1N1, Ebola, and Zika global epidemics have (...) shown unnecessary delays and insufficient coordination in response efforts.7,8,9,10 In a thoughtful and compelling essay,11 Thana C. de Campos argues that greater clarity in the definition of pandemics would probably result in more timely effective emergency responses, and pandemic preparedness. In her view, a central problem is that the definition of pandemics is based solely on disease transmission across several countries, and not on spread and severity together, which conflates two very different situations: emergency and nonemergency disease outbreaks. A greater emphasis on severity, such that pandemics are defined as severe and rapidly spreading infectious disease outbreaks, would make them “true global health emergencies,” allowing for priority resource allocation and effective collective actions in emergency response efforts. Sympathetic to the position taken by de Campos, here I highlight some of the challenges in the definition of severity during an infectious disease outbreak. (shrink)

This important collection of essays by Andrew Feenberg presents his critical theory of technology, an innovative approach to philosophy and sociology of technology based on a synthesis of ideas drawn from STS and Frankfurt School Critical Theory. The volume includes chapters on citizenship, modernity, and Heidegger and Marcuse.

The paper surveys different notions of implicit definition. In particular, we offer an examination of a kind of definition commonly used in formal axiomatics, which in general terms is understood as providing a definition of the primitive terminology of an axiomatic theory. We argue that such “structural definitions” can be semantically understood in two different ways, namely as specifications of the meaning of the primitive terms of a theory and as definitions of higher-order mathematical concepts or structures. We analyze these (...) two conceptions of structural definition both in the history of modern axiomatics and in contemporary philosophical debates. Based on that, we give a systematic assessment of the underlying semantics of these two ways of understanding the definiens of such definitions, by considering alternative model-theoretic and inferential accounts of meaning. (shrink)

Semi-contraction is a withdrawal operation defined by Fermé in "On the logic of theory change: Contraction without recovery." In this paper we propose: (1) an axiomatic characterization of semi-contraction; (2) an alternative construction for semi-contraction based on semi-saturatable sets, inspired by Levi's saturatable sets; (3) a special kind of semi-contraction that satisfies the Lindström and Rabinowicz interpolation thesis.

Resumen: La tolerancia es un privilegio de los poderosos. Una persona puede tolerar sólo si tiene el poder para interferir con aquello que objeta. En este artículo analizaré las circunstancias en las que alguien tiene el poder para tolerar. Argumentaré que la respuesta debe incorporar consideraciones tanto prácticas como metafísicas. Específicamente, defenderé que alguien tiene el poder para tolerar cuando sus propiedades fundan tal poder en la situación práctica en que ella se encuentra, según es caracterizada por sus intereses prácticos. (...) Al hacerlo criticaré el análisis del mencionado poder realizado por Glen Newey. (shrink)

This paper is a reply to Benjamin Smart’s : 319–332, 2013) recent objections to David Armstrong’s solution to the problem of induction : 503–511, 1991). To solve the problem of induction, Armstrong contends that laws of nature are the best explanation of our observed regularities, where laws of nature are dyadic relations of necessitation holding between first-order universals. Smart raises three objections against Armstrong’s pattern of inference. First, regularities can explain our observed regularities; that is, universally quantified conditionals are required (...) for explanations. Second, if Humean’s pattern of inference is irrational, then Armstrong’s pattern of inference is also irrational. Third, universal regularities are the best explanation of our observed regularities. I defend Armstrong’s solution of induction, arguing against these three claims. (shrink)